#include "phasar/PhasarLLVM/Utils/LLVMAnalysisPrinter.h"

#include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"

using namespace psr;

template class psr::DefaultLLVMAnalysisPrinter<LLVMIFDSAnalysisDomainDefault>;
